(declare-fun e (Int) Bool)
(declare-fun f () (Set a))
(declare-fun i () a)
(assert (forall ((g Int) (h a)) (= (member (b g h) f) (e g))))
(assert (member (b 1 j) f))
(assert (member i f))
(check-sat)
(declare-fun e (Int) Bool)
(declare-fun f () (Set a))
(declare-fun i () a)
(assert (forall ((g Int) (h a)) (= (member (b g h) f) (e g))))
(assert (member (b 1 j) f))
(assert (member i f))
(check-sat)
